Embedded Systems

Detecting non-functional circuit activity in SoC designs

by Dustin Pe­ter­son, Yan­nick Boekle, and Oliver Bring­mann
In 2018 23rd Asia and South Pa­cific De­sign Au­toma­tion Con­fer­ence (ASP-DAC) (): 464-469, 2018.

Key­words: clocks, em­bed­ded sys­tems, in­te­grated cir­cuit de­sign, sys­tem-on-chip, SoC de­signs, RTL de­sign, in­ter­nal graph rep­re­sen­ta­tion, open source proces­sor, com­mer­cial RTL sim­u­la­tor, av­er­age reg­is­ter tog­gle ac­tiv­ity, exact same cir­cuit out­put, clock gat­ing ar­chi­tec­ture, com­mer­cial ASIP, non­func­tional cir­cuit ac­tiv­ity de­tec­tion, Reg­is­ters, In­te­grated cir­cuit mod­el­ing, Clocks, Data­bases, Tools, Trans­fer func­tions, Boolean func­tions

Ab­stract

In this paper, we pre­sent a method­ol­ogy for the au­to­matic de­tec­tion of non-func­tional cir­cuit ac­tiv­ity in SoC de­signs. Our method­ol­ogy for­mally analy­ses an RTL de­sign, gen­er­ates an in­ter­nal graph rep­re­sen­ta­tion and tra­verses the graph using given sim­u­la­tion traces. We eval­u­ate an open source proces­sor with a given set of bench­mark ap­pli­ca­tions using our ap­proach. With a com­mer­cial RTL sim­u­la­tor, we ob­serve an av­er­age reg­is­ter tog­gle ac­tiv­ity of 6.7%-11.5%, but our ex­per­i­ments show that 86.1-92.7% of these tog­gles are non-func­tional, i.e. not nec­es­sary for pro­duc­ing the exact same cir­cuit out­put. We fur­ther eval­u­ate the ef­fi­ciency of the clock gat­ing ar­chi­tec­ture of a com­mer­cial ASIP. For the Dhry­s­tone bench­mark we show that, even though only 34.7% of the reg­is­ters are clocked on av­er­age, still 64.3% of the non-clock-gated reg­is­ters in this ASIP are not needed on av­er­age to pro­duce ex­actly the same cir­cuit out­put.